Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
811	Type-Changing Program Transformations with Pattern Matching Joeri van Eekelen, Sean Leather and Johan Jeuring Utrecht University, , , Abstract We present a system for Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-05-06 07:04:24 Mathematics Pattern matching Lambda calculus Logic in computer science Orbifold Theoretical computer science Applied mathematics Models of computation
812	Physical Principles in Dynamical Information Processing K Y Michael Wong Department of Physics, HKUST, Hong Kong Email of Presenting Author: Add to Reading List Source URL: iasprogram.ust.hk Language: English - Date: 2015-03-26 05:28:36 Neural networks Neurophysiology Computational neuroscience Neural oscillation Models of neural computation Biology Neuroscience Nervous system
813	COMS11700 Turing machines (continued) Ashley Montanaro Department of Computer Science, University of Bristol Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-05-31 09:18:33 Theory of computation Computability theory Formal methods Models of computation Alan Turing Turing Universal Turing machine Turing machine equivalents Turing machine Computer science Theoretical computer science
814	Quasi-Weak Cost Functions A New Variant of Weakness Achim Blumensath1 Thomas Colcombet2 Denis Kuperberg3 Christof L¨oding4 Pawel Parys3 Michael Vanden Boom5 1 TU Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-04-30 05:09:51 Formal languages Computer science Nondeterministic finite automaton Finite-state machine Regular language Ω-automaton Automata theory Models of computation Theoretical computer science
815	A Note on Phase Transitions and Computational Pitfalls of Learning from Sequences Antoine Cornu´ejols1 & Mich`ele Sebag2 1 AgroParisTech / INRA Add to Reading List Source URL: eprints.pascal-network.org Language: English - Date: 2008-01-16 05:03:29 Computer science Applied mathematics Deterministic finite automaton Finite-state machine Grammar induction Algorithm Sequence Powerset construction Automata theory Models of computation Theoretical computer science
816	Operational Semantics of UML Activity Diagram: An Application in Project Management Eugene Syriani Department of Computer Science Add to Reading List Source URL: hergin.students.cs.ua.edu Language: English - Date: 2012-07-26 13:45:07 Software engineering Data modeling Software development Systems Modeling Language ISO standards Petri net Finite-state machine Action Activity diagram Unified Modeling Language Diagrams Models of computation
817	AToMPM Solution for the Petri Net to Statecharts Case Study H¨useyin Ergin and Eugene Syriani University of Alabama, Tuscaloosa AL, U.S.A. {hergin@crimson,esyriani@cs}.ua.edu In this paper, we present an AToMPM solutio Add to Reading List Source URL: hergin.students.cs.ua.edu Language: English - Date: 2013-07-08 00:10:48 Concurrency Petri net Theoretical computer science State diagram Communication design Computer science Models of computation Diagrams UML diagrams
818	Nondeterminism in the Presence of Diverse or Unknown Future. U. Boker1 , D. Kuperberg2,3 , O. Kupferman2 , M. Skrzypczak3 1 IST 2 Hebrew Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-01-07 04:43:59 Models of computation Mathematics Automata theory FO Finite model theory
819	Boxes Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric Polymorphism Geoffrey Washburn Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Lambda calculus Type theory Functional programming Dependently typed programming Models of computation System F Higher-order abstract syntax Church encoding Catamorphism Declarative programming Software engineering Mathematics
820	PROGRAMMING IN BIOMOLECULAR COMPUTATION Lars Hartmann Neil D. Jones Jakob Grue Simonsen + Visualization by Søren Bjerregaard Vrist Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2011-12-19 05:05:43 Models of computation Computability theory Turing machine Turing completeness Algorithm Computability Programming language Cellular automaton Alan Turing Theoretical computer science Computer science Theory of computation

UPDATE